main()
{
    int a[4],b,c[3],x,d[4],i=1;
for (a[0]=1010; a[0]<=1377; a[0]++)
  for (b=112; b<=142; b++)
  for (c[0]=8; c[0]<=9; c[0]++)
    if ( b*c[0]>1000 && (d[0]=a[0]-b*c[0])>=10 && d[0]<100 )
      for ( a[1]=0; a[1]<=9; a[1]++)
        if ( (d[1]=d[0] * 10 + a[1]-b*7)>=100 && d[1]<b)
          for (a[2]=0; a[2]<=9; a[2]++)
          for (c[1]=7; c[1]<=8; c[1]++)
            if (b*c[1]<1000 && (d[2]=d[1] * 10 +a[2]-b * c[1])>=10 && d[2]<100)
              for (a[3]=0; a[3]<=99; a[3]++)
              for (c[2]=8; c[2]<=9; c[2]++)
                if (d[2] * 100+a[3]-b * c[2]==0)
                {
                    printf("No%2d:",i++);
                    printf("%d%d%d%d%d/",a[0],a[1],a[2],a[3]/10,a[3]%10);
                    printf("%d=",b);
                    printf("%d%d%d%d%d\n",c[0],7,c[1],0,c[2]);
                }
}